Especificación, verificación y derivación formal de programas
Por: Álvez, Javier [autor].
Colaborador(es): Arregi, Xabier [autor] | Gaintzarain, Jose [autor].
Editor: Madrid (España): Pearson Educación, 2015Descripción: 245 páginas.Tipo de contenido: text Tipo de medio: no mediado Tipo de portador: volumenISBN: 9788420564982.Tema(s): INFORMATICA | PROGRAMAS INFORMATICOS | RECURSIVOS | SISTEMAS | TECNICAS | TRANSFORMACIÓN | Tecnologías de la información y la comunicación (TIC) - Tecnologías de la información y la comunicación (TIC)Clasificación CDD: 004
Contenidos:
Especificación formal de programas.-- verificación de programas iterativos.-- Verificación de programas recursivos.-- Especificación ecuacional de tipos de datos.-- Transformación de recursivo a iterativo.-- Derivación de programas iterativos.-- derivación de programas recursivos
Tipo de ítem | Ubicación actual | Colección | Signatura | Estado | Fecha de vencimiento |
---|---|---|---|---|---|
Libros | Biblioteca General | Fac de Sistemas y Telecomunicaciones - Carrera de Electrónica y Telecomunicaciones | 004 ALVe (Navegar estantería) | Disponible | |
Libros | Biblioteca General | Fac de Sistemas y Telecomunicaciones - Carrera de Informática | 004 ALVe (Navegar estantería) | Disponible |
Incluye índice general, notas bibliográficas, figuras, diagramas
Especificación formal de programas.-- verificación de programas iterativos.-- Verificación de programas recursivos.-- Especificación ecuacional de tipos de datos.-- Transformación de recursivo a iterativo.-- Derivación de programas iterativos.-- derivación de programas recursivos
No hay comentarios para este ítem.